Non-monotonic Reasoning on Beowulf Platforms

The Parallelization of a Knowledge Discovery System with Hypergraph Representation

Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED(pronounced \indeed") is an inductive implementation that performs rule discovery using the techniques of inductive logic programming and accumulates and handles knowledge using a deductive nonmonotonic reasoning engine. We present four schemes...

A Methodology for the Management of Order-Sensitive Exe ution of Non-deterministi Languages on Beowulf Platforms

Can Formal Non-monotonic Systems Properly Describe Human Reasoning?

Monotonic (logical) reasoning makes the strong claim that an inference cannot be contradicted by future information; an assumption contrary to everyday life experience. This assumption is relaxed in non-monotonic reasoning. However, there are only few formal non-monotonic theories of reasoning that have inspired psychological theory-building. Can formal systems such as cumulative logic (system ...

Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning

We provide a general framework for constructing natural consequence relations for paraconsistent and plausible nonmonotonic reasoning. The framework is based on preferential systems whose preferences are based on the satisfaction of formulas in models. The framework encompasses different types of preferential systems that were developed from different motivations of paraconsistent reasoning and...

Formula - Preferential Systems for Paraconsistent Non - Monotonic Reasoning ( an extended

We provide a general framework for constructing natural consequence relations for paraconsistent and plausible nonmonotonic reasoning. The framework is based on preferential systems whose preferences are based on the satisfaction of formulas in models. The framework encompasses different types of preferential systems that were developed from different motivations of paraconsistent reasoning and...